Kapus-Kolar, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels

Kapus-Kolar, Monika

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 785 KB

2020

2

Construction of logically correct communication protocols without over-specification

Journal:

Annual Review in Automatic Programming

Year:

1988

Language:

english

File:

PDF, 935 KB

english, 1988

3

Constructing communication protocols on reliable bounded FIFO channels without overspecification

Journal:

Microprocessing and Microprogramming

Year:

1990

Language:

english

File:

PDF, 346 KB

english, 1990

4

Deriving protocol specifications from service specifications including multirendezvous

Monika Kapus-Kolar

Journal:

Microprocessing and Microprogramming

Year:

1992

Language:

english

File:

PDF, 324 KB

english, 1992

5

Developing multi-user interfaces for CSCW environment

M. Pučko, M. Kapus-Kolar, J. Rugelj

Journal:

Microprocessing and Microprogramming

Year:

1993

Language:

english

File:

PDF, 305 KB

english, 1993

6

Derivation of protocols implementing services with event priorities

Journal:

Microprocessing and Microprogramming

Year:

1993

Language:

english

File:

PDF, 337 KB

english, 1993

7

Deriving protocols for services supporting mobile users

Journal:

Information and Software Technology

Year:

2000

Language:

english

File:

PDF, 496 KB

english, 2000

8

Comments on deriving protocol specifications from service specifications written in LOTOS

Monika Kapus-Kolar

Journal:

Distributed Computing

Year:

1999

Language:

english

File:

PDF, 39 KB

english, 1999

9

Deriving protocol specifications from service specifications including parameters

Monika Kapus-Kolar

Journal:

Microprocessing and Microprogramming

Year:

1991

Language:

english

File:

PDF, 780 KB

english, 1991

10

Constructing real-time multi-channel protocols

Journal:

Microprocessing and Microprogramming

Year:

1990

Language:

english

File:

PDF, 461 KB

english, 1990

11

Automated derivation of protocols implementing intelligent network services

M. Pučko, M. Kapus-Kolar, G. Kandus

Journal:

Microprocessing and Microprogramming

Year:

1994

Language:

english

File:

PDF, 330 KB

english, 1994

12

Error-preserving local transformations on communication protocols

Monika Kapus-Kolar

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 1.26 MB

english, 2012

13

Towards weak sequencing for E-LOTOS

Journal:

Computer Standards & Interfaces

Year:

2005

Language:

english

File:

PDF, 1.14 MB

english, 2005

14

A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition

Journal:

Computer Standards & Interfaces

Year:

2004

Language:

english

File:

PDF, 458 KB

english, 2004

15

Enhanced event structures: Towards a true concurrency semantics for E-LOTOS

Journal:

Computer Standards & Interfaces

Year:

2007

Language:

english

File:

PDF, 248 KB

english, 2007

16

An action refinement operator for E-LOTOS with true concurrency

Journal:

Computer Standards & Interfaces

Year:

2009

Language:

english

File:

PDF, 280 KB

english, 2009

17

Reversible enhanced event structures: Towards reversible E-LOTOS

Journal:

Computer Standards & Interfaces

Year:

2009

Language:

english

File:

PDF, 220 KB

english, 2009

18

New state-recognition patterns for conformance testing of finite state machine implementations

Monika Kapus-Kolar

Journal:

Computer Standards & Interfaces

Year:

2012

Language:

english

File:

PDF, 330 KB

english, 2012

19

On “Exploring alternatives for transition verification”

Monika Kapus-Kolar

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 290 KB

english, 2012

20

Restoring the concept of observability in E-LOTOS

Journal:

Computer Standards & Interfaces

Year:

2000

Language:

english

File:

PDF, 65 KB

english, 2000

21

A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS

Journal:

Computer Standards & Interfaces

Year:

2002

Language:

english

File:

PDF, 92 KB

english, 2002

22

On the global optimization of checking sequences for finite state machine implementations

Kapus-Kolar, Monika

Journal:

Microprocessors and Microsystems

Year:

2014

Language:

english

File:

PDF, 817 KB

english, 2014

23

[IEEE IEEE Region 8 EUROCON 2003. Computer as a Tool. - Ljubljana, Slovenia (22-24 Sept. 2003)] The IEEE Region 8 EUROCON 2003. Computer as a Tool. - Specifying broadcast communication in a sublanguage of E-LOTOS

Kapus-Kolar, M.

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

24

[IEEE 6th Mediterranean Electrotechnical Conference - LJubljana, Slovenia (22-24 May 1991)] [1991 Proceedings] 6th Mediterranean Electrotechnical Conference - New results on deriving protocol specifications from service specifications

Kapus-Kolar, M.

Year:

1991

Language:

english

File:

PDF, 244 KB

english, 1991

25

[IEEE Comput. Soc EUROMICRO 97. 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167) - Budapest, Hungary (1-4 Sept. 1997)] EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167) - Employing disruptions for more efficient functionality decomposition in LOTOS

Kapus-Kolar, M.

Year:

1997

Language:

english

File:

PDF, 823 KB

english, 1997

26

[IEEE ISIE '99. IEEE International Symposium on Industrial Electronics - Bled, Slovenia (12-16 July 1999)] ISIE '99. Proceedings of the IEEE International Symposium on Industrial Electronics (Cat. No.99TH8465) - E-LOTOS-based synthesis of distributed coordinators for mobile objects

Kapus-Kolar, M.

Year:

1999

Language:

english

File:

PDF, 480 KB

english, 1999

27

Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines

Kapus-Kolar, M.

Journal:

The Computer Journal

Year:

2007

Language:

english

File:

PDF, 299 KB

english, 2007

28

Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines

Kapus-Kolar, M.

Journal:

The Computer Journal

Year:

2009

Language:

english

File:

PDF, 505 KB

english, 2009

29

[IEEE 8th Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science and Telecommunications (MELECON 96) - Bari, Italy (13-16 May 1996)] Proceedings of 8th Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science and Telecommunications (MELECON 96) - On context-sensitive service-based protocol derivation

Kapus-Kolar, M.

Year:

1996

Language:

english

File:

PDF, 457 KB

english, 1996

30

Construction of Logically Correct Communication Protocols without Over-Specification

Kapus-Kolar, M.

Journal:

IFAC Proceedings Volumes

Year:

1988

Language:

english

File:

PDF, 1.78 MB

english, 1988